🧮 Archive Algebra

Preservation Mathematics, Storage Theory, Formal Archival, Mathematical Curation

Sorting encrypted data without decryption: a practical trick
dev.to·4h·
Discuss: DEV
🔐Hash Functions
Categorical systems theory
topos.institute·7h
🔀Category Theory
Publishing my bachelor's thesis in applied mathematics
timktitarev.wordpress.com·2h·
Discuss: Hacker News
📐Linear Algebra
Explicit Lossless Vertex Expanders!
gilkalai.wordpress.com·9h
💎Information Crystallography
New Articles: Journal of Contemporary Archival Studies
archivespublishing.com·1d
⚖️Archive Ethics
Compression for Coinductive Infinitary Rewriting: A Generic Approach, with Applications to Cut-Elimination for Non-Wellfounded Proofs
arxiv.org·15h
⛪Church Encoding
LINQ and Learning to Be Declarative
nickstambaugh.dev·1d·
Discuss: Hacker News
🔗Concatenative Programming
A disenshittification moment from the land of mass storage
doctorow.medium.com·7h
🧲Magnetic Philosophy
No Bullshit Guide to Statistics prerelease
minireference.com·1h
🧮Kolmogorov Bounds
An enough week
blog.mitrichev.ch·23h·
Discuss: blog.mitrichev.ch
📈Linear programming
'Battleship'-style math can improve sustainable design, groundwater management, nuclear waste storage and more
phys.org·3h
📐Mathematical Art
The Day I Hacked XCTrack
blog.syrac.org·4h·
Discuss: Hacker News
🔐PKI Archaeology
Cactus Language • Semantics 3
inquiryintoinquiry.com·3h
🔢Denotational Semantics
Evidence Preservation: Why iPhone Data Can Expire
blog.elcomsoft.com·1d
🌡️Preservation Entropy
Why Your Simple Password Is a Mathematical Catastrophe
tawandamunongo.dev·1d·
Discuss: Hacker News
🔐Hash Functions
How we built a structured Streamlit Application Framework in Snowflake
about.gitlab.com·19h
🌊Streaming Systems
Three ways formally verified code can go wrong in practice
buttondown.com·2h
📜Proof Carrying Code
Never Ever Use Content Addressable Storage
frederic.vanderessen.com·2d·
Discuss: Hacker News
🛡️Preservation Proofs
Getting a Hypergraph of Functions to a Browser
systeminit.com·1d·
Discuss: Hacker News
📐E-graphs
Zippers: Making Functional "Updates" Efficient (2010)
goodmath.org·1d·
Discuss: Hacker News, r/programming
🌳Incremental Parsing